Problem Statements of past minizinc challenges

... but is there also a repo/website on the problem statements?

THX

The better repository of all MiniZinc instances for the MiniZinc challenge is probably https://github.com/MiniZinc/mzn-challenge.

However, I think you might be misunderstanding the purpose of the challenge. The MiniZinc challenge does not challenge modellers to model problems, but rather we challenge different solvers to solve the same set of MiniZinc instances. More details can be found here: https://www.minizinc.org/challenge/

Because of the purpose of the challenge, we don't require people submitting models to submit a problem statement. (Although the general purpose of the model is generally recorded).

I think it would be great for research purposes to have the problem description too.

Which in turn can help spread the word more about MiniZinc.

Best,